2^Nの探索は無理